Bellin, Gianluigi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A decision procedure revisited: notes on direct logic, linear logic and its implementation

Gianluigi Bellin, Jussi Ketonen

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.68 MB

english, 1992

2

On an intuitionistic logic for pragmatics

Bellin, Gianluigi, Carrara, Massimiliano, Chiffi, Daniele

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 322 KB

english, 2015

3

Subnets of proof-nets in multiplicative linear logic with MIX

BELLIN, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 370 KB

english, 1997

4

A system of natural deduction for GL

Gianluigi Bellin

Journal:

Year:

1985

Language:

english

File:

PDF, 783 KB

english, 1985

5

Categorical proof theory of classical propositional calculus

Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 276 KB

english, 2006

6

SO011HEPARANASE REGULATES RENAL MACROPHAGE INFILTRATION AND M1 POLARIZATION AFTER ISCHEMIA/REPERFUSION INJURY

Masola, Valentina, Bellin, Gloria, Onisto, Maurizio, Gambaro, Giovanni, Lupo, Antonio, Zaza, Gianluigi

Journal:

Nephrology Dialysis Transplantation

Year:

2017

Language:

english

File:

PDF, 44 KB

english, 2017

7

Epithelial to mesenchymal transition in the liver field: the double face of Everolimus in vitro

Masola, Valentina, Carraro, Amedeo, Zaza, Gianluigi, Bellin, Gloria, Montin, Umberto, Violi, Paola, Lupo, Antonio, Tedeschi, Umberto

Journal:

BMC Gastroenterology

Year:

2015

Language:

english

File:

PDF, 1.70 MB

english, 2015

8

Transcriptomics: A Step behind the Comprehension of the Polygenic Influence on Oxidative Stress, Immune Deregulation, and Mitochondrial Dysfunction in Chronic Kidney Disease

Granata, Simona, Dalla Gassa, Alessandra, Bellin, Gloria, Lupo, Antonio, Zaza, Gianluigi

Journal:

BioMed Research International

Year:

2016

Language:

english

File:

PDF, 1.45 MB

english, 2016

9

Inhibition of heparanase protects against chronic kidney dysfunction following ischemia/reperfusion injury

Masola, Valentina, Bellin, Gloria, Vischini, Gisella, Dall’Olmo, Luigi, Granata, Simona, Gambaro, Giovanni, Lupo, Antonio, Onisto, Maurizio, Zaza, Gianluigi

Journal:

Year:

2018

Language:

english

File:

PDF, 8.17 MB

english, 2018

10

Sulodexide alone or in combination with low doses of everolimus inhibits the hypoxia-mediated epithelial to mesenchymal transition in human renal proximal tubular cells

Zaza, Gianluigi, Masola, Valentina, Granata, Simona, Bellin, Gloria, Dalla Gassa, Alessandra, Onisto, Maurizio, Gambaro, Giovanni, Lupo, Antonio

Journal:

Journal of Nephrology

Year:

2015

Language:

english

File:

PDF, 3.48 MB

english, 2015

11

Specific heparanase inhibition reverses glucose-induced mesothelial-to-mesenchymal transition

Masola, Valentina, Granata, Simona, Bellin, Gloria, Gambaro, Giovanni, Onisto, Maurizio, Rugiu, Carlo, Lupo, Antonio, Zaza, Gianluigi

Journal:

Nephrology Dialysis Transplantation

Year:

2017

Language:

english

File:

PDF, 1.56 MB

english, 2017

12

Heparanase regulates the M1 polarization of renal macrophages and their crosstalk with renal epithelial tubular cells after ischemia/reperfusion injury

Masola, Valentina, Zaza, Gianluigi, Bellin, Gloria, Dall’Olmo, Luigi, Granata, Simona, Vischini, Gisella, Secchi, Maria Francesca, Lupo, Antonio, Gambaro, Giovanni, Onisto, Maurizio

Journal:

The FASEB Journal

Year:

2017

Language:

english

File:

PDF, 2.31 MB

english, 2017

13

MP079HEPARANASE: A POTENTIAL NEW FACTOR INVOLVED IN THE PRO-FIBROTIC RENAL BIOLOGICAL MACHINERY ACTIVATED BY THE ISCHEMIA-REPERFUSION INJURY

Masola, Valentina, Zaza, Gianluigi, Gambaro, Giovanni, Onisto, Maurizio, Bellin, Gloria, Vischini, Gisella, Khamaysi, Iyad, Hassan, Ahmad, Hamoud, Shadi, Nativ, Omri, Heyman, Samuel N., Lupo, Antonio,

Journal:

Nephrology Dialysis Transplantation

Year:

2016

Language:

english

File:

PDF, 63 KB

english, 2016

14

Inhibition of heparanase protects against chronic kidney dysfunction following ischemia/reperfusion injury

Masola, Valentina, Bellin, Gloria, Vischini, Gisella, Dall’Olmo, Luigi, Granata, Simona, Gambaro, Giovanni, Lupo, Antonio, Onisto, Maurizio, Zaza, Gianluigi

Journal:

Year:

2018

File:

PDF, 8.17 MB

2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски